Automated Geometry Diagram Construction and Engineering Geometry
نویسنده
چکیده
This paper reviews and evaluates three main techniques for automated geometry diagram construction: synthetic methods, numerical computation methods, and symbolic computation methods. We also show how to use these techniques to: parametric mechanical CAD, linkage design, computer vision, dynamic geometry, and CAI (computer aided instruction). The methods and the applications reviewed in this paper are closely connected and could be appropriately named as engineering geometry.
منابع مشابه
Geometric Reasoning and Artificial Intelligence: Introduction to the Special Volume
Geometry plays an important role in our understanding of the world. It is therefore important for Artificial Intelligence (AI) systems to be able to represent and reason about geometry. This special volume presents a formal approach to the representation of geometric concepts in selected AI applications and describes some recent developments in algebraic methods for reasoning about geometry. Ge...
متن کاملThe Effect of p-delta 21-Storey Structure in the Variable Arrangement of Lateral Stiffness
In recent years, high-rise construction has been rising. A big challenge for engineers and executives in the construction of these structures is the stability of the structures against earthquakes. And this requires the development of appropriate arrangements for structures under lateral system and are braced system. And this requires the development of appropriate arrangements for structures ...
متن کاملCombining Dynamic Geometry, Automated Geometry Theorem Proving and Diagrammatic Proofs
This paper outlines Geometry Explorer, a prototype system that allows users to create Euclidean geometry constructions using a dynamic geometry interface, specify conjectures about them and then use a full-angle method prover to automatically produce diagram independent, human-readable proofs to theorems. Our system can then automatically generate novel diagrammatic proofs of the forward-chaini...
متن کاملAnalyzing the geometry of Iranian Islamic gardens based on the Quran’s characteristics of paradise
Iranian Islamic gardens like almost every cultures, represent beauty and happiness and improve the public perception. It has also special geometry with philosophical concept related to Islam’s doctrine that is the focus of this research. Following Quran’s contents, paradise is a beautiful sophisticated garden that something flows under its trees. So the comparison between the somatic geometry o...
متن کاملSensitivity Analysis of the Effect of Pore Structure and Geometry on Petrophysical and Electrical Properties of Tight Media: Random Network Modeling
Several methodologies published in the literature can be used to construct realistic pore networks for simple rocks, whereas in complex pore geometry formations, as formed in tight reservoirs, such a construction still remains a challenge. A basic understanding of pore structure and topology is essential to overcome the challenges associated with the pore scale modeling of tight porous media. A...
متن کامل